<?hh

<<__Const>>
class C {
  public function __construct(public int $i)[] {}
}
